YES 0.865
↳ HASKELL
↳ LR
((intersect :: [()] -> [()] -> [()]) :: [()] -> [()] -> [()]) |
import qualified Maybe import qualified Prelude |
|||||||||||||||||
intersect :: Eq a => [a] -> [a] -> [a]
|
|||||||||||||||||
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
|
import qualified List import qualified Prelude |
\vv2→
case vv2 of x → if any (eq x) ys then x : [] else [] _ → []
intersectBy0 eq ys vv2 =
case vv2 of x → if any (eq x) ys then x : [] else [] _ → []
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
((intersect :: [()] -> [()] -> [()]) :: [()] -> [()] -> [()]) |
import qualified Maybe import qualified Prelude |
|||||||||||||||||
intersect :: Eq a => [a] -> [a] -> [a]
|
|||||||||||||||||
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
|
|||||||||||||||||
|
import qualified List import qualified Prelude |
case vv2 of x → if any (eq x) ys then x : [] else [] _ → []
intersectBy00 eq ys x = if any (eq x) ys then x : [] else [] intersectBy00 eq ys _ = []
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
((intersect :: [()] -> [()] -> [()]) :: [()] -> [()] -> [()]) |
import qualified Maybe import qualified Prelude |
|||||||||
intersect :: Eq a => [a] -> [a] -> [a]
|
|||||||||
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
if any (eq x) ys then x : [] else []
intersectBy000 x True = x : [] intersectBy000 x False = []
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
((intersect :: [()] -> [()] -> [()]) :: [()] -> [()] -> [()]) |
import qualified Maybe import qualified Prelude |
|||||||||
intersect :: Eq a => [a] -> [a] -> [a]
|
|||||||||
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((intersect :: [()] -> [()] -> [()]) :: [()] -> [()] -> [()]) |
import qualified Maybe import qualified Prelude |
|||||||||
intersect :: Eq a => [a] -> [a] -> [a]
|
|||||||||
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(intersect :: [()] -> [()] -> [()]) |
import qualified Maybe import qualified Prelude |
|||||||||
intersect :: Eq a => [a] -> [a] -> [a]
|
|||||||||
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ CR
↳ HASKELL
↳ IFR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ QDP
↳ QDPSizeChangeProof
new_foldr(vz4, :(vz30, vz31)) → new_foldr(vz4, vz31)
From the DPs we obtained the following set of size-change graphs: